Nico Hauff

Tests for ApplicationFunction prev()

2

Implement in `BoogieBooleanExpressionDecisionTest`.

Wrong specification in rtinconsistency_test5

4

Expected: `// #TestSpec: rt-inconsistent:; vacuous:; inconsistent:; results:-1` Actual: `// #TestSpec: rt-inconsistent:req1+req2; vacuous:; inconsistent:; results:-1` ``` CONST MAX_TIME is 50.0 CONST time_at_least is 30.0 req1: Globally It is always the case...

Wrong specification in rtinconsistency_test36

1

- Jenkins: [history](https://monteverdi.informatik.uni-freiburg.de/ci/job/Ultimate%20Nightly/lastBuild/de.uni_freiburg.informatik.ultimate$de.uni_freiburg.informatik.ultimate.regressiontest/testReport/de.uni_freiburg.informatik.ultimate.regressiontest.generic/ReqCheckerRegressionTestSuite/I_Requirements_regression_rtinconsistency_rtinconsistency_test36_req_S_Requirements_regression_ReqCheck_SmtInterpol_epf_T_Requirements_regression_ReqCheck_xml/history/) - Hanfor: [req1](https://ultimate-pa.github.io/hanfor/references/patterns.html#bndresponsepatterntt-globally), [req2](https://ultimate-pa.github.io/hanfor/references/patterns.html#bndinvariancepattern-globally) ### Result - Expected: rt-inconsistent:; vacuous:; inconsistent:; - Actual: rt-inconsistent:; vacuous:req1; inconsistent:; ### Test (.req file) ``` CONST time_at_least is 30.0 req1: Globally...

### Resources - [Migrating From JDK 8 to Later JDK Releases](https://docs.oracle.com/en/java/javase/16/migrate/migrating-jdk-8-later-jdk-releases.html#GUID-7744EF96-5899-4FB2-B34E-86D49B2E89B6) - [JEP 403: Strongly Encapsulate JDK Internals (Java 17)](https://openjdk.org/jeps/403)

Hello, I have a question regarding the assembly materials [hero_resources/assembly_materials.pdf](https://github.com/verlab/hero_common/blob/7be0daf3eff30f7db28b033778bef5dd4830c5d5/hero_resources/assembly_materials.pdf). There are 3 resistors (`R12`, `R13`, `R14`) listed in the section `Bultin Battery Charger`. Are the descriptions (1K Ohm, 100...

distutils is removed from Python 3.12 standard library

1

Hello, distutils is removed from Python 3.12 standard library as you can read here: https://peps.python.org/pep-0632/ files in pysmt that use distutils: https://github.com/search?q=repo%3Apysmt%2Fpysmt%20distutils&type=code