projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fa5189) | patch
Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary...
authorrtrimana <rtrimana@uci.edu>
Mon, 1 Jul 2019 19:40:33 +0000 (12:40 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 1 Jul 2019 19:40:33 +0000 (12:40 -0700)
commitb81d0644f518284c029e20d175a3e7fc24615067
treeaae4b123ab6c938d38e0df2140396e25068606fctree | snapshot
parent6fa5189f85c365a24c7d151a645eea147e693e8bcommit | diff
Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary class names that are prefixed with 'L', e.g., LEmpty, LRandComplex.
examples/Empty.groovy diff | blob | history
run.sh diff | blob | history
src/main/gov/nasa/jpf/vm/Types.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.