diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-06-16 22:29:44 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-06-16 22:29:44 +0000 |
| commit | 02bc291193f1ea6051194565db68cfe594f90736 (patch) | |
| tree | 26fc1b95354fc39791b5fcb29cffac6a03926756 /test/regress/regress3 | |
| parent | 2ceddc34920376bcb181c5fbbe2a9c0f4b87f436 (diff) | |
Added the experimental. +bool TheoryArith::AssertEquality(TNode n, TNode original){
Diffstat (limited to 'test/regress/regress3')
0 files changed, 0 insertions, 0 deletions