[seplogic/jstar] 1cbca4: Updated toplSpecs to the new formula format.

[GitHub]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 1cbca490eed7baef7b482aed9b32bb16a7064928
https://github.com/seplogic/jstar/commit/1cbca490eed7baef7b482aed9b32bb16a7064928
Author: Nikos <nik...@eecs.qmul.ac.uk>
Date: 2013-11-02 (Sat, 02 Nov 2013)

Changed paths:
M src/topl/toplSpecs.ml

Log Message:
-----------
Updated toplSpecs to the new formula format.
Maybe it would be good to introduce formula simplifications in some points.

Now get "Fatal error: exception Smt.Error("SMT error in command call")"