opened
hriener
username_0
BOOST_AUTO_TEST_CASE( bvshl_long_sizet )
{
  const unsigned w = 1407u;
  bitvector x = new_bitvector(w);
  bitvector y = new_bitvector(w);
  bitvector z = new_bitvector(w);
  assertion( ctx, equal( z, bvshl( x, y ) ) );
  BOOST_REQUIRE( solve(ctx) );
}

$ ./tests/direct_STP -t QF_BV/bvshl_long_sizet
Running 1 test case...
Fatal Error: CreateBVConst: trying to create bvconst using unsigned long long of width: 
1407
direct_STP: /home/development-vm/development/metaSMT/build/build/stp-git/lib/AST/ASTmisc.cpp:258: void stp::FatalError(const char*, const stp::ASTNode&, int): Assertion `false' failed.
unknown location(0): fatal error in "bvshl_long_sizet": signal: SIGABRT (application abort requested)
bvshl with long bitwidth fails in STP
issue
created
hriener
username_0
Fixed in 15703f274ce8b40b6cc04e5cbd408515a8ee5b2a
comment
created
hriener
username_0
Fixed in 13310570e18cc8e35efe3e3a8590dceaef4ece1e
comment
closed
hriener
username_0
issue