UPPAALModelChecker/UPPAAL-Meta

Negative RAM memory statistic

Opened this issue · 0 comments

magoorden commented

Describe the bug
When a user verifies a query using the UPPAAL GUI, a pop-up window shows some statistics on the verification process.

Below I have a screenshot of this window showing a negative number for RAM usage by other processses (the second number).
Screenshot 2023-06-15 at 10 56 57

To Reproduce
I don't know whether this problem can be reproduces on other machines or other operating systems.

Expected behavior
A non-negative RAM usage statistic.

Version(s) of UPPAAL tested
UPPAAL 5 release candidate 4.

Desktop (please complete the following information):

  • Version UPPAAL 5.0.0-rc4 (rev. 6F3B9F1B33482FBD), 2023-05-31
  • OS, Java version: macOS 13.4 (22F66)