Commits

Iago Abal  committed cea9193

Warn when solverGetNumScopes is imported
As the new Z3 API is still not fully supported.

  • Participants
  • Parent commits 4319ab7

Comments (0)

Files changed (1)

           , solverPush
           , solverPop
           , solverReset
+          , solverGetNumScopes
           , solverAssertCnstr
           , solverAssertAndTrack
           , solverCheck