diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2013-01-03 16:53:59 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2013-01-03 16:53:59 +0530 |
| commit | 562c3d3af84d7c364fb6aa81cca83ff17bad64d2 (patch) | |
| tree | 4f81ee47d50bbc175262c428985fc85d1cbf73c6 /Test/inline/Answer | |
| parent | bb3fd5a585f9f1be3100752f298ad633ff2624c4 (diff) | |
Use the new ProverInterface's Evaluate method in stratified inlinig
(guarded by the flag /useProverEvaluate)
Diffstat (limited to 'Test/inline/Answer')
0 files changed, 0 insertions, 0 deletions