https://github.com/peterjclaw/dummy-comp

Dummy Competition State for the SRComp suite of tools
https://github.com/peterjclaw/dummy-comp

compstate srcomp

Last synced: 12 months ago
JSON representation

Dummy Competition State for the SRComp suite of tools

• Host: GitHub
• URL: https://github.com/peterjclaw/dummy-comp
• Owner: PeterJCLaw
• Created: 2017-07-22T19:02:52.000Z (almost 9 years ago)
• Default Branch: main
• Last Pushed: 2024-04-12T14:26:21.000Z (about 2 years ago)
• Last Synced: 2025-03-21T02:44:27.036Z (about 1 year ago)
• Topics: compstate, srcomp
• Language: Python
• Homepage: https://github.com/PeterJCLaw/srcomp/wiki/Competition-Preparation
• Size: 184 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Dummy Compstate

This is a Dummy Competition State for the SRComp suite of tools. It serves as an

example of a relatively complete compstate, as documentation for what many of

the user-configurable keys do and as test data for many of the tools.

In general this compstate is not suitable as the basis for a fresh compstate as

it is too populated. Instead an early commit within the history of a recent

compstate is typically used.