Skip to content

[Java] Adding a 2nd property on NanoXML

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

Adding a 2nd equivalence-checking property on the NanoXML benchmark. I've moved the benchmark code as per our discussions 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
  • nanoxml_eqchk folder now contains nanoxml_prop1.yml and nanoxml_prop2.yml as the task definition files. The implementation is moved to the impl/ folder.

Merge request reports