search

dapphub / klab

K framework proof explorer & smart contract specification format
GNU Affero General Public License v3.0
123 stars 36 forks source link

report: make 'not-specified' rows more distinguishable #407

Open asymmetric opened 4 years ago

asymmetric commented 4 years ago

Right now, they have a red background, same as the failed specs, which is confusing.