Search results

Which tests should we run in CI?

question

Status: Open.

#164 In boogie-org/corral;

· rakamaric opened on Mar 8, 2023

Release for NET6

Status: Open.

#161 In boogie-org/corral;

· m-carrasco opened on Aug 31, 2022

BinaryFormatter is obsolete in .NET 5.0 (warning issued)

Status: Open.

#154 In boogie-org/corral;

· zvonimir opened on Jul 7, 2021

Unintended consequences of wrapping assertions into one single function

question

Status: Open.

#138 In boogie-org/corral;

· zvonimir opened on Apr 2, 2021

Updating AV regressions

Status: Open.

#133 In boogie-org/corral;

· akashlal opened on Oct 22, 2020

Internal bug: Refinement unable to make progress

Status: Open.

#125 In boogie-org/corral;

· unboxedtype opened on Jul 14, 2020

Corral crashes on a program

Status: Open.

#124 In boogie-org/corral;

· shaobo-he opened on Jul 14, 2020

Switching Corral to use lit for running regressions

enhancement

Status: Open.

#121 In boogie-org/corral;

· zvonimir opened on Jun 4, 2020

Gitversion warning

Status: Open.

#115 In boogie-org/corral;

· akashlal opened on Apr 26, 2020

Corral reports "no bugs" when there is no prover found

Status: Open.

#114 In boogie-org/corral;

· zvonimir opened on Apr 17, 2020

invariant statements is not supported?

Status: Open.

#96 In boogie-org/corral;

· muyaview opened on Aug 20, 2019

running tests on MacOS

Status: Open.

#92 In boogie-org/corral;

· shazqadeer opened on Jun 22, 2019