Run brittleness post tests first

Dargones · Dec 7, 2023 · 392cb1c · 392cb1c
1 parent 6f6e680
commit 392cb1c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -10,10 +10,10 @@ default: check
 
 check:
  node builders/verification-compelling-verify.js _includes/verification-compelling-intro.html
+ assets/src/brittleness/verify.sh
  assets/src/test-generation/verify.sh
  assets/src/insertion-sort/verify.sh
  assets/src/proof-dependencies/verify.sh
- assets/src/brittleness/verify.sh
 
 generate:
  node builders/verification-compelling-verify.js --regenerate _includes/verification-compelling-intro.html