Test ucsd-progsys#514

facundominguez · Nov 17, 2021 · d1fbb73 · d1fbb73
1 parent 3438be3
commit d1fbb73
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -40,6 +40,10 @@ jobs:
           name: Compile
           command : |
             stack --no-terminal build -j2 liquid-fixpoint --flag liquid-fixpoint:devel --test --no-run-tests
+      - run:
+          name: Test tests/horn/pos/ple0.smt2
+          command : |
+            stack --no-terminal exec fixpoint -- tests/horn/pos/ple0.smt2
       - run:
           name: Test
           command: |