Skip to content

[JAVA] Adding a 2nd property to check on PrintTokens2

Vaibhav Sharma requested to merge github/fork/vaibhavbsharma/printtokens_eqchk-2 into master

Adding an equivalence-check from the PrintTokens program. This PR also makes changes recommended in #860.

  • the license for this benchmark is the same as the license used for other benchmarks already in the java-ranger-regression folder
  • As already mentioned in the README, this benchmark was originally contributed by Wang et al. this new benchmark would be in the java-ranger-regression folder which is present in ReachSafety.set
  • assert.prp is the property file used
  • printtokens_prop1.yml and printtokens_prop2.yml are the newly introduced task definition files. The implementation has been moved to the impl folder. prop1/ and prop2/ contain the implementation specific to the two properties.

Merge request reports