summaryrefslogtreecommitdiff
path: root/test/463-checker-boolean-simplifier
Commit message (Expand)AuthorAgeFilesLines
* Verify ART run-tests' standard output and standard error separately.Roland Levillain2020-11-101-0/+0
* Rename ART run-tests `expected.txt` files as `expected-stdout.txt`.Roland Levillain2020-11-051-0/+0
* ART: fix 463-checker-boolean-simplier for jvmOrion Hodson2018-05-252-262/+284
* ART-tests: Remove DX-dependency from 463-checker-boolean-simplifier.Tamas Kenez2018-05-253-173/+329
* ART: Remove jack from testOrion Hodson2018-05-241-6/+0
* Fix USE_D8 in conjunction with USE_D8_BY_DEFAULTAlan Leung2017-10-101-1/+1
* Disable D8 for a subset of the testsAlan Leung2017-10-021-0/+3
* test: Fix 4 checker tests to pass with javac/dxIgor Murashkin2017-06-263-79/+73
* Update art testsSebastien Hertz2016-09-212-39/+76
* ART: Switch Checker run-tests to JackDavid Brazdil2016-03-021-13/+5
* ART: Implement HSelectDavid Brazdil2016-01-281-29/+231
* Cosmetic changes in ART run-tests.Roland Levillain2015-07-271-14/+14
* ART: Boolean simplifier fixSerguei Katkov2015-07-161-3/+0
* ART: Distinguish Checker lines from commentsDavid Brazdil2015-05-281-107/+107
* ART: Print C1vis lists as [v1,...,vN]David Brazdil2015-05-151-38/+38
* ART: Change Checker syntax for variablesDavid Brazdil2015-05-151-73/+73
* ART: Simplify Ifs with BooleanNot conditionDavid Brazdil2015-04-271-0/+38
* ART: Simplify more bool operationsDavid Brazdil2015-04-201-7/+8
* ART: Formatting and comments in BooleanSimplifierDavid Brazdil2015-03-251-1/+1
* ART: Boolean simplifierDavid Brazdil2015-03-243-0/+175