projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19c924f) | patch
Adding a variable conflict tracker/listener; this is useful for both device and globa...
authorrtrimana <rtrimana@uci.edu>
Tue, 16 Jul 2019 18:20:47 +0000 (11:20 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 16 Jul 2019 18:20:47 +0000 (11:20 -0700)
commit0907ba7dd70d7e43923eb812d1e4107f0b8d76c3
treef6dd967821a3661c2a63960e1c75c74aacc32876tree | snapshot
parent19c924f8f86b3541e457b4886469f8418cf3f712commit | diff
Adding a variable conflict tracker/listener; this is useful for both device and global variable conflict types.
examples/Empty.groovy diff | blob | history
examples/Racer.java diff | blob | history
examples/main/main.groovy [deleted file] blob | history
examples/main/output [deleted file] blob | history
run.sh diff | blob | history
src/main/gov/nasa/jpf/listener/VariableConflictTracker.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.