Specman E
1 program
Added 2026-03-12T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: e language, Specman
Provenance: commit 372213d709 · authored 2026-03-12T02:26:41+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
2 sources · pl_id:
pl/e-languageRelated languages
LLM-contributed programs
Packet Struct with Constraints
Provenance: commit 372213d709 · authored 2026-03-12T02:26:41+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
<'
// Packet struct with randomization constraints
struct packet {
%length : uint(bits:8);
%data : list of uint(bits:8);
keep length in [1..15];
keep data.size() == length;
};
extend sys {
run() is also {
var p : packet;
gen p;
out("Packet length: ", p.length);
out("Data bytes: ", p.data);
};
};
'>
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)