Mark Roberts

Closure test suite uses java 7

2

I thought all the scripts/tools were upgraded to use Java 8, however it looks like the ant files for Closure (almost?) all contain -Dbuild.compiler=javac1.7 so we get tons of warnings...

bug-mining process should not promote buggy version of build files.

1

promote-to-db.pl is copying both fixed and buggy versions of build_files.

Exception exit support

5

I have completed an upstream merge of Philipp Hirch's changes to add exception exit ppts to chicory output files. I think there might be a little more common code in...

rtc violation precondition : args[..].toString == []

1

Several of the test cases run the rtc test to completion, but the rtc-violations.txt file contains: Violations: violated on entry of main(java.lang.String[]) : precondition : args[..].toString == [] violated on...

null pointer exception running logical compare (orig variables)

1

In directory daikon/tests/daikon-tests/fib: make clean diffs make txt-logicalcompare tail of fib.txt-logicalcompare-failed: Testing preconditions: Testing postconditions: Exception in thread "main" java.lang.NullPointerException at daikon.VarInfo.simplify_name(VarInfo.java:3364) at daikon.VarInfo.simplify_name(VarInfo.java:3338) at daikon.VarInfo.name_using(VarInfo.java:3080) at daikon.inv.unary.string.OneOfString.format_simplify(OneOfString.java:423) at daikon.inv.unary.string.OneOfString.format_using(OneOfString.java:241)...

There are currently four tests that get different results on Fedora 24. (Fedora 22, Fedora 23, Ubuntu 16.04 all agree.) 745 Aug 23 16:07 ./SimpleClassesTest/SimpleClassesTest.decls.diff 302084 Aug 23 16:13 ./flex-pristine/flex-pristine.comp.diff...

From email of 5/8/2015: Mark- > The original invariant (in daikon format) is: > DataStructures.CursorList.cursorSpace[0..return].next elements < > size(DataStructures.CursorList.cursorSpace[..])-1 This invariant has 3 parts: 2 expressions and a relationship between...

[csharp-hello.dtrace.txt](https://github.com/codespecs/daikon/files/319030/csharp-hello.dtrace.txt) java daikon.Daikon --format csharpcontract csharp-hello.dtrace.txt produces several instances of the message: ("oneOf.java.jpp: SEQUENCE unimplemented" != null)