This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 506 - uppaal-4.0.13 verifyta statically linked?
Summary: uppaal-4.0.13 verifyta statically linked?
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 normal
Assignee: Alexandre David
Depends on:
Reported: 2010-11-19 15:27 CET by S Schivo
Modified: 2011-09-01 09:34 CEST (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description S Schivo 2010-11-19 15:27:45 CET
Version of UPPAAL: 4.0.13
I am trying to run verifyta from another tool. In order to do this, the filesystem of the tool contains a "bin" directory in which the verifyta executable has been copied.
But when verifyta is run asking for the verification of a property on an UPPAAL model, it responds with the following output:
myself@mypc:toolBaseDir$ bin/verifyta -t0 -o2 -Y -foutput model.xml query.q
verifyta: ../sysdeps/unix/sysv/linux/getpagesize.c:32: __getpagesize: Assertion `_rtld_global_ro._dl_pagesize != 0' failed.

As far as I can understand from similar errors found around the internet, it seems that some "static library linking" is involved in the error.
The error does not happen if verifyta is run using the full path in which it is contained:
myself@mypc:toolBaseDir$ ../Programs/uppaal-4.0.13/bin-Linux/verifyta -t0 -o2 -Y -foutput model.xml query.q
Options for the verification:
  Generating some trace
  Search order is random depth first
  Using conservative space optimisation
  Seed is 1290176539
  State space representation uses minimal constraint systems

Verifying property 1 at line 1
 -- Property is satisfied.
Writing example trace to output-1.xtr

Hoping to help you in making more clarity, here is the model with the query which I used in order to get the error:
Comment 1 Jonathan Bogdoll 2011-09-01 09:34:53 CEST
I can confirm this problem.

This is a problem with certain versions of glibc (notably 2.12), where calling dlopen() from within a statically linked executable produces the __getpagesize assertion failure as described below.

The upstream problem is summarized here:

See also:

As a result, a statically linked verifyta is unusable when called directly on many Linux systems using this version of glibc. It affects all current versions (4.0.13, 4.1.4, 4.1.4-64).