Project

General

Profile

Actions

Bug #8967

closed

Download files for competition does not allow to choose Unknowns

Added by Vadim Mutilin over 6 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
06/19/2018
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Linux x64
Published in build:

Description

See picture.
The Job has 9 Unknowns, but I can not choose them.
I can download only Unsafes/Safes using "Download files for competition".


Files

klever_unknowns.png (52 KB) klever_unknowns.png Vadim Mutilin, 06/19/2018 11:11 AM
klever_duplicates.png (155 KB) klever_duplicates.png Vadim Mutilin, 06/19/2018 11:24 AM
svcomp(1).zip (3.24 MB) svcomp(1).zip generated by Klever v1.1 Anton Vasilyev, 10/04/2018 07:27 PM

Related issues 1 (0 open1 closed)

Blocked by Klever - Feature #9035: Change the way to identify sub-jobsClosedEvgeny Novikov06/28/2018

Actions
Actions

Also available in: Atom PDF