Package Details: rumur 2023.05.21-1

Git Clone URL: (read-only, click to copy)
Package Base: rumur
Description: Yet another Murphi model checker
Upstream URL:
Licenses: custom:UNLICENSE
Submitter: wangqr
Maintainer: wangqr
Last Packager: wangqr
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-17 10:39 (UTC)
Last Updated: 2023-06-12 00:32 (UTC)

Dependencies (9)

Required by (0)

Sources (1)

Latest Comments

CyanoKobalamyne commented on 2023-01-24 22:16 (UTC)

I had to add DEBUGINFOD_URLS="" to the command in check(). Otherwise I got errors about Valgrind not being able to set up a function redirection for strlen.