Search results

--rac: "cannot find symbol" on chars/modelString in Path.jml postcondition

Status: Open.

#28 In OpenJML/Specs;

· ANogin opened on Apr 16, 2026

Bad precondition in java.util.HashSet.HashSet(Collection<? extends E> c)

Status: Open.

#27 In OpenJML/Specs;

· psybers opened on Jul 17, 2025

What is the version of Java standard library the specs are written for?

Status: Open.

#24 In OpenJML/Specs;

· satbekmyrza opened on Jan 30, 2023

java.nio.ByteBuffer putInt(), etc., should use byte order specified

Status: Open.

#5 In OpenJML/Specs;

· slyubomirsky opened on Aug 8, 2018