Search results

interclass constraints not working

Status: Open.

#11 In agra-uni-bremen/crave;

· ElectronicBatman opened on Jun 8, 2023

Vector Constraint with if_then_else not working when if statement is about a separate random variable

Status: Open.

#10 In agra-uni-bremen/crave;

· ghost opened on Aug 19, 2021

Sudoku Examples Stalling?

Status: Open.

#9 In agra-uni-bremen/crave;

· ghost opened on Aug 2, 2021

Thread safety

Status: Open.

#8 In agra-uni-bremen/crave;

· wvandamm opened on Jul 1, 2021

Constraint specified using multiplication operator gives wrong values

Status: Open.

#7 In agra-uni-bremen/crave;

· chiragv44 opened on Jun 7, 2019

How to know what seed was used?

Status: Open.

#6 In agra-uni-bremen/crave;

· erickvillegas opened on Nov 7, 2018

(In)equality operators don't always behave symmetrical

Status: Open.

#5 In agra-uni-bremen/crave;

· AnthonyVH opened on Jun 12, 2018

Randomization of SystemC types > 64 bit not supported

Status: Open.

#4 In agra-uni-bremen/crave;

· AnthonyVH opened on Jun 12, 2018

__rand_vec and __rand_vec_base have reserved names

Status: Open.

#3 In agra-uni-bremen/crave;

· AnthonyVH opened on Jun 12, 2018

randv (and related classes) don't use RAII

Status: Open.

#2 In agra-uni-bremen/crave;

· AnthonyVH opened on Jun 12, 2018

Vector randomization & constraints don't work correctly.

Status: Open.

#1 In agra-uni-bremen/crave;

· AnthonyVH opened on Jun 8, 2018