Search results

Failed when use casting in a equal expression to constraint a random variable

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#44 In andestech/pss-gen;

· LeeKaiXuan opened on Dec 30, 2025

Solver failed when two comparision constraints has same random variable

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#43 In andestech/pss-gen;

· LeeKaiXuan opened on Dec 30, 2025

Add unit-test for LRM 3.0 Section 8.4.1 "Operator precedence and associativity"

testAdding new or improve test caseAdding new or improve test case

Status: Open.

#40 In andestech/pss-gen;

· LeeKaiXuan opened on Dec 4, 2025

Add unit-test for LRM 3.0 Section 8.7 "Bit sizes for numeric expressions"

testAdding new or improve test caseAdding new or improve test case

Status: Open.

#39 In andestech/pss-gen;

· LeeKaiXuan opened on Dec 3, 2025

Add unit-test for LRM 3.0 Section 7.4 "Booleans"

testAdding new or improve test caseAdding new or improve test case

Status: Open.

#38 In andestech/pss-gen;

· LeeKaiXuan opened on Dec 3, 2025

Add unit-test for LRM 3.0 Section 7.2 "Integer types"

testAdding new or improve test caseAdding new or improve test case

Status: Open.

#37 In andestech/pss-gen;

· LeeKaiXuan opened on Dec 3, 2025

Random failed while default constraint placed inside if-else block

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#31 In andestech/pss-gen;

· LeeKaiXuan opened on Nov 27, 2025

Regarding ANTLR latest version

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#24 In andestech/pss-gen;

· vishnu1540 opened on Nov 22, 2024

After modify global variable (collection-type), <code>foreach</code> should get newest value

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#17 In andestech/pss-gen;

· LeeKaiXuan opened on May 8, 2024