Subject: [Srcomp] Requirements draft 04 text, candidate 01

From: "Darren Dukes (ddukes)" <[email-masked]>
Date: Fri, 19 Feb 2021 03:38:02 +0000

Attached is the requirements draft revision 04, candidate 01.

We will discuss it in the meeting Friday.  It is the current version in the github repo.

Darren