Skip to content

run small example thru jstar #1

Open
Open
run small example thru jstar#1
Labels
safety
@rgrig

Description

@rgrig
rgrig
opened on Oct 22, 2010

Annotate by hand (1) an iterator client and (2) a program that uses locks, then run them thru jstar.

Metadata

Metadata

Assignees

No one assigned

    Labels

    safety

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions