Opened 13 years ago

#193 new proposed feature

critreria for std/syz/liftstd

Reported by: hannes Owned by: hannes
Priority: major Milestone: 3-1-1
Component: singular-kernel Version: 3-1-0
Keywords: Cc:

Description

too many pairs during liftstd (compared to std)

Change History (0)

Note: See TracTickets for help on using tickets.