Project

General

Profile

Design #1777

VerificationLevel: just 3? Low, high, guaranteed?

Added by John Abbott 3 months ago. Updated 2 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Various
Target version:
CoCoALib-0.99880
Start date:
23 Jan 2024
Due date:
% Done:

0%

Estimated time:
Spent time:
0.30 h

Description

Should there be just 3 VerificationLevel values?
  • low fast but greater chance of wrong answer
  • high slower but lower chance of wrong answer
  • guaranteed slowest but no chance of wrong answer

Discuss, decide.

History

#1 Updated by John Abbott 3 months ago

I discussed withe the OSCAR people about putting something similar into Oscar. There it seemed simpler/clearer to offer just 3 or even 2 levels. What do we think?

#2 Updated by John Abbott 3 months ago

Currently we allow any non-negative machine integer as the "verification level", but there is no clear semantics.

#3 Updated by John Abbott 2 months ago

  • Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880

Also available in: Atom PDF