Diffusion afp-devel a8ac72f7dd9f

make Go test mandatory
a8ac72f7dd9f
Actions

Tags

None

Subscribers

None

Description

make Go test mandatory

Details

Provenance

Lars Hupel <lars@hupel.info>

Authored on

Parents

rAFP985b115c06a9: remove generated files

Branches

Unknown

Tags

Unknown

Event Timeline

Lars Hupel <lars@hupel.info> committed rAFPa8ac72f7dd9f: make Go test mandatory.Apr 2 2024, 11:51 AM

Changes (3)

Path

Size

thys/

Go/

test/

quick/

slow/

Generate_Binary_Nat.thy

rAFPa8ac72f7dd9f

thys/Go/test/quick/RBT_Test.thy

Loading...

thys/Go/test/slow/Generate.thy

Loading...

thys/Go/test/slow/Generate_Binary_Nat.thy

Loading...