Enable simplify-implication integration test

runtimeverification · Aug 9, 2023 · e3eb94c · e3eb94c
1 parent 0b8c2dc
commit e3eb94c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/rpc-integration/default.nix b/test/rpc-integration/default.nix
@@ -48,4 +48,5 @@ in {
   get-model = mkIntegrationTest { name = "get-model"; };
   issue212 = mkIntegrationTest { name = "issue212"; };
   foundry-bug-report.tar.gz = mkIntegrationTest { name = "foundry-bug-report.tar.gz"; nativeBuildInputs = [ k openssl procps ]; };
+  simplify-implication = mkIntegrationTest { name = "simplify-implication"; };
 }