projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55f4f09) | patch
Fixed behavior of division by 0 on doubles (should be Infinity), added tests.
authorCyrille Artho <artho@kth.se>
Fri, 23 Nov 2018 12:50:45 +0000 (13:50 +0100)
committerCyrille Artho <artho@kth.se>
Fri, 23 Nov 2018 12:50:45 +0000 (13:50 +0100)
commit5cfe5f6b3052fc76ef16c15ad11a177c479c1920
tree4133ae430cec07d41781942c315e1c055f2d2443tree | snapshot
parent55f4f09d392d1f721119ec3382caeffcefc9a895commit | diff
Fixed behavior of division by 0 on doubles (should be Infinity), added tests.
src/main/gov/nasa/jpf/jvm/bytecode/DDIV.java diff | blob | history
src/tests/gov/nasa/jpf/test/java/lang/DoubleTest.java [new file with mode: 0644] blob
src/tests/gov/nasa/jpf/test/java/lang/FloatTest.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.