source: CIVL/.sarl_default@ 7a23a09

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since 7a23a09 was 429fa7f, checked in by Stephen Siegel <siegel@…>, 12 years ago

Got rid of CVC3_API. Using only executable CVC3 and CVC4 now.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@1775 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 368 bytes
RevLine 
[480c4ea]1prover {
[2e8ddd4]2 aliases = cvc4;
[480c4ea]3 kind = CVC4;
4 version = "1.4";
[2e8ddd4]5 path = "/opt/local/bin/cvc4";
6 timeout = 20.0;
7 showQueries = false;
8 showInconclusives = false;
9 showErrors = true;
10}
11prover {
12 aliases = cvc3;
13 kind = CVC3;
14 version = "2.4.1";
15 path = "/usr/bin/cvc3";
16 timeout = 20.0;
17 showQueries = false;
18 showInconclusives = false;
19 showErrors = true;
[480c4ea]20}
Note: See TracBrowser for help on using the repository browser.