12#include <QtCore/QVariant>
14#include <QtWidgets/QApplication>
15#include <QtWidgets/QCheckBox>
16#include <QtWidgets/QDialog>
17#include <QtWidgets/QDialogButtonBox>
18#include <QtWidgets/QFormLayout>
19#include <QtWidgets/QGroupBox>
20#include <QtWidgets/QHBoxLayout>
21#include <QtWidgets/QLabel>
22#include <QtWidgets/QLineEdit>
23#include <QtWidgets/QPushButton>
24#include <QtWidgets/QRadioButton>
25#include <QtWidgets/QSpacerItem>
26#include <QtWidgets/QTabWidget>
27#include <QtWidgets/QVBoxLayout>
28#include <QtWidgets/QWidget>
36 QVBoxLayout *verticalLayout;
37 QTabWidget *tabWidget;
39 QFormLayout *formLayout;
40 QCheckBox *checkBox_4;
41 QCheckBox *checkBox_5;
42 QCheckBox *checkBox_6;
43 QCheckBox *checkBox_7;
44 QCheckBox *checkBox_8;
45 QCheckBox *checkBox_11;
46 QSpacerItem *verticalSpacer_3;
47 QGroupBox *groupBox_2;
48 QFormLayout *formLayout_5;
49 QRadioButton *radioButton_6;
50 QRadioButton *radioButton_7;
53 QCheckBox *checkBox_14;
55 QFormLayout *formLayout_2;
65 QLineEdit *lineEdit_4;
67 QLineEdit *lineEdit_2;
68 QLineEdit *lineEdit_3;
69 QCheckBox *checkBox_2;
70 QHBoxLayout *horizontalLayout;
71 QLineEdit *lineEdit_5;
72 QPushButton *pushButton;
73 QHBoxLayout *horizontalLayout_2;
74 QLineEdit *lineEdit_6;
75 QPushButton *pushButton_2;
77 QVBoxLayout *verticalLayout_3;
78 QRadioButton *radioButton_5;
79 QRadioButton *radioButton;
80 QRadioButton *radioButton_2;
81 QRadioButton *radioButton_3;
82 QRadioButton *radioButton_4;
83 QSpacerItem *verticalSpacer_4;
84 QCheckBox *checkBox_3;
86 QFormLayout *formLayout_3;
87 QCheckBox *checkBox_9;
88 QCheckBox *checkBox_13;
90 QLineEdit *lineEdit_10;
91 QCheckBox *checkBox_10;
92 QSpacerItem *verticalSpacer;
94 QFormLayout *formLayout_4;
96 QLineEdit *lineEdit_7;
97 QCheckBox *checkBox_12;
99 QLineEdit *lineEdit_8;
101 QLineEdit *lineEdit_9;
102 QSpacerItem *verticalSpacer_2;
104 QDialogButtonBox *buttonBox;
106 void setupUi(QDialog *Preferences)
108 if (Preferences->objectName().isEmpty())
109 Preferences->setObjectName(QString::fromUtf8(
"Preferences"));
110 Preferences->resize(687, 654);
111 verticalLayout =
new QVBoxLayout(Preferences);
112 verticalLayout->setObjectName(QString::fromUtf8(
"verticalLayout"));
113 tabWidget =
new QTabWidget(Preferences);
114 tabWidget->setObjectName(QString::fromUtf8(
"tabWidget"));
115 tabWidget->setFocusPolicy(Qt::WheelFocus);
116 tabWidget->setTabPosition(QTabWidget::West);
117 tabWidget->setTabShape(QTabWidget::Rounded);
118 tabWidget->setTabsClosable(
false);
120 tab->setObjectName(QString::fromUtf8(
"tab"));
121 formLayout =
new QFormLayout(tab);
122 formLayout->setObjectName(QString::fromUtf8(
"formLayout"));
123 checkBox_4 =
new QCheckBox(tab);
124 checkBox_4->setObjectName(QString::fromUtf8(
"checkBox_4"));
126 formLayout->setWidget(0, QFormLayout::FieldRole, checkBox_4);
128 checkBox_5 =
new QCheckBox(tab);
129 checkBox_5->setObjectName(QString::fromUtf8(
"checkBox_5"));
131 formLayout->setWidget(1, QFormLayout::FieldRole, checkBox_5);
133 checkBox_6 =
new QCheckBox(tab);
134 checkBox_6->setObjectName(QString::fromUtf8(
"checkBox_6"));
135 checkBox_6->setChecked(
true);
137 formLayout->setWidget(2, QFormLayout::FieldRole, checkBox_6);
139 checkBox_7 =
new QCheckBox(tab);
140 checkBox_7->setObjectName(QString::fromUtf8(
"checkBox_7"));
141 checkBox_7->setChecked(
true);
143 formLayout->setWidget(3, QFormLayout::FieldRole, checkBox_7);
145 checkBox_8 =
new QCheckBox(tab);
146 checkBox_8->setObjectName(QString::fromUtf8(
"checkBox_8"));
148 formLayout->setWidget(4, QFormLayout::FieldRole, checkBox_8);
150 checkBox_11 =
new QCheckBox(tab);
151 checkBox_11->setObjectName(QString::fromUtf8(
"checkBox_11"));
153 formLayout->setWidget(5, QFormLayout::FieldRole, checkBox_11);
155 verticalSpacer_3 =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
157 formLayout->setItem(8, QFormLayout::FieldRole, verticalSpacer_3);
159 groupBox_2 =
new QGroupBox(tab);
160 groupBox_2->setObjectName(QString::fromUtf8(
"groupBox_2"));
161 formLayout_5 =
new QFormLayout(groupBox_2);
162 formLayout_5->setObjectName(QString::fromUtf8(
"formLayout_5"));
163 radioButton_6 =
new QRadioButton(groupBox_2);
164 radioButton_6->setObjectName(QString::fromUtf8(
"radioButton_6"));
165 radioButton_6->setChecked(
true);
167 formLayout_5->setWidget(4, QFormLayout::FieldRole, radioButton_6);
169 radioButton_7 =
new QRadioButton(groupBox_2);
170 radioButton_7->setObjectName(QString::fromUtf8(
"radioButton_7"));
172 formLayout_5->setWidget(5, QFormLayout::FieldRole, radioButton_7);
174 kcombobox =
new KComboBox(groupBox_2);
175 kcombobox->addItem(QString());
176 kcombobox->addItem(QString());
177 kcombobox->addItem(QString());
178 kcombobox->setObjectName(QString::fromUtf8(
"kcombobox"));
180 formLayout_5->setWidget(2, QFormLayout::FieldRole, kcombobox);
182 label_12 =
new QLabel(groupBox_2);
183 label_12->setObjectName(QString::fromUtf8(
"label_12"));
185 formLayout_5->setWidget(2, QFormLayout::LabelRole, label_12);
187 checkBox_14 =
new QCheckBox(groupBox_2);
188 checkBox_14->setObjectName(QString::fromUtf8(
"checkBox_14"));
189 checkBox_14->setEnabled(
false);
190 checkBox_14->setChecked(
true);
192 formLayout_5->setWidget(6, QFormLayout::FieldRole, checkBox_14);
195 formLayout->setWidget(6, QFormLayout::FieldRole, groupBox_2);
197 tabWidget->addTab(tab, QString());
198 tab_2 =
new QWidget();
199 tab_2->setObjectName(QString::fromUtf8(
"tab_2"));
200 formLayout_2 =
new QFormLayout(tab_2);
201 formLayout_2->setObjectName(QString::fromUtf8(
"formLayout_2"));
202 label =
new QLabel(tab_2);
203 label->setObjectName(QString::fromUtf8(
"label"));
205 formLayout_2->setWidget(0, QFormLayout::LabelRole, label);
207 label_2 =
new QLabel(tab_2);
208 label_2->setObjectName(QString::fromUtf8(
"label_2"));
210 formLayout_2->setWidget(2, QFormLayout::LabelRole, label_2);
212 label_5 =
new QLabel(tab_2);
213 label_5->setObjectName(QString::fromUtf8(
"label_5"));
215 formLayout_2->setWidget(4, QFormLayout::LabelRole, label_5);
217 label_3 =
new QLabel(tab_2);
218 label_3->setObjectName(QString::fromUtf8(
"label_3"));
220 formLayout_2->setWidget(7, QFormLayout::LabelRole, label_3);
222 label_4 =
new QLabel(tab_2);
223 label_4->setObjectName(QString::fromUtf8(
"label_4"));
225 formLayout_2->setWidget(9, QFormLayout::LabelRole, label_4);
227 label_6 =
new QLabel(tab_2);
228 label_6->setObjectName(QString::fromUtf8(
"label_6"));
230 formLayout_2->setWidget(12, QFormLayout::LabelRole, label_6);
232 label_7 =
new QLabel(tab_2);
233 label_7->setObjectName(QString::fromUtf8(
"label_7"));
235 formLayout_2->setWidget(15, QFormLayout::LabelRole, label_7);
237 kappa =
new QLineEdit(tab_2);
238 kappa->setObjectName(QString::fromUtf8(
"kappa"));
240 formLayout_2->setWidget(0, QFormLayout::FieldRole, kappa);
242 lineEdit =
new QLineEdit(tab_2);
243 lineEdit->setObjectName(QString::fromUtf8(
"lineEdit"));
245 formLayout_2->setWidget(2, QFormLayout::FieldRole, lineEdit);
247 lineEdit_4 =
new QLineEdit(tab_2);
248 lineEdit_4->setObjectName(QString::fromUtf8(
"lineEdit_4"));
250 formLayout_2->setWidget(4, QFormLayout::FieldRole, lineEdit_4);
252 checkBox =
new QCheckBox(tab_2);
253 checkBox->setObjectName(QString::fromUtf8(
"checkBox"));
255 formLayout_2->setWidget(5, QFormLayout::FieldRole, checkBox);
257 lineEdit_2 =
new QLineEdit(tab_2);
258 lineEdit_2->setObjectName(QString::fromUtf8(
"lineEdit_2"));
260 formLayout_2->setWidget(7, QFormLayout::FieldRole, lineEdit_2);
262 lineEdit_3 =
new QLineEdit(tab_2);
263 lineEdit_3->setObjectName(QString::fromUtf8(
"lineEdit_3"));
265 formLayout_2->setWidget(9, QFormLayout::FieldRole, lineEdit_3);
267 checkBox_2 =
new QCheckBox(tab_2);
268 checkBox_2->setObjectName(QString::fromUtf8(
"checkBox_2"));
270 formLayout_2->setWidget(11, QFormLayout::FieldRole, checkBox_2);
272 horizontalLayout =
new QHBoxLayout();
273 horizontalLayout->setObjectName(QString::fromUtf8(
"horizontalLayout"));
274 lineEdit_5 =
new QLineEdit(tab_2);
275 lineEdit_5->setObjectName(QString::fromUtf8(
"lineEdit_5"));
277 horizontalLayout->addWidget(lineEdit_5);
279 pushButton =
new QPushButton(tab_2);
280 pushButton->setObjectName(QString::fromUtf8(
"pushButton"));
281 pushButton->setMaximumSize(QSize(100, 16777215));
283 QString iconThemeName = QString::fromUtf8(
"folder-open");
284 if (QIcon::hasThemeIcon(iconThemeName)) {
285 icon = QIcon::fromTheme(iconThemeName);
287 icon.addFile(QString::fromUtf8(
"."), QSize(), QIcon::Normal, QIcon::Off);
289 pushButton->setIcon(icon);
291 horizontalLayout->addWidget(pushButton);
294 formLayout_2->setLayout(12, QFormLayout::FieldRole, horizontalLayout);
296 horizontalLayout_2 =
new QHBoxLayout();
297 horizontalLayout_2->setObjectName(QString::fromUtf8(
"horizontalLayout_2"));
298 lineEdit_6 =
new QLineEdit(tab_2);
299 lineEdit_6->setObjectName(QString::fromUtf8(
"lineEdit_6"));
301 horizontalLayout_2->addWidget(lineEdit_6);
303 pushButton_2 =
new QPushButton(tab_2);
304 pushButton_2->setObjectName(QString::fromUtf8(
"pushButton_2"));
305 pushButton_2->setMaximumSize(QSize(100, 16777215));
306 pushButton_2->setIcon(icon);
308 horizontalLayout_2->addWidget(pushButton_2);
311 formLayout_2->setLayout(15, QFormLayout::FieldRole, horizontalLayout_2);
313 groupBox =
new QGroupBox(tab_2);
314 groupBox->setObjectName(QString::fromUtf8(
"groupBox"));
315 verticalLayout_3 =
new QVBoxLayout(groupBox);
316 verticalLayout_3->setObjectName(QString::fromUtf8(
"verticalLayout_3"));
317 radioButton_5 =
new QRadioButton(groupBox);
318 radioButton_5->setObjectName(QString::fromUtf8(
"radioButton_5"));
320 verticalLayout_3->addWidget(radioButton_5);
322 radioButton =
new QRadioButton(groupBox);
323 radioButton->setObjectName(QString::fromUtf8(
"radioButton"));
324 radioButton->setChecked(
true);
326 verticalLayout_3->addWidget(radioButton);
328 radioButton_2 =
new QRadioButton(groupBox);
329 radioButton_2->setObjectName(QString::fromUtf8(
"radioButton_2"));
331 verticalLayout_3->addWidget(radioButton_2);
333 radioButton_3 =
new QRadioButton(groupBox);
334 radioButton_3->setObjectName(QString::fromUtf8(
"radioButton_3"));
336 verticalLayout_3->addWidget(radioButton_3);
338 radioButton_4 =
new QRadioButton(groupBox);
339 radioButton_4->setObjectName(QString::fromUtf8(
"radioButton_4"));
341 verticalLayout_3->addWidget(radioButton_4);
344 formLayout_2->setWidget(17, QFormLayout::FieldRole, groupBox);
346 verticalSpacer_4 =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
348 formLayout_2->setItem(18, QFormLayout::FieldRole, verticalSpacer_4);
350 checkBox_3 =
new QCheckBox(tab_2);
351 checkBox_3->setObjectName(QString::fromUtf8(
"checkBox_3"));
353 formLayout_2->setWidget(14, QFormLayout::FieldRole, checkBox_3);
355 tabWidget->addTab(tab_2, QString());
356 tab_3 =
new QWidget();
357 tab_3->setObjectName(QString::fromUtf8(
"tab_3"));
358 formLayout_3 =
new QFormLayout(tab_3);
359 formLayout_3->setObjectName(QString::fromUtf8(
"formLayout_3"));
360 checkBox_9 =
new QCheckBox(tab_3);
361 checkBox_9->setObjectName(QString::fromUtf8(
"checkBox_9"));
362 checkBox_9->setChecked(
true);
364 formLayout_3->setWidget(0, QFormLayout::LabelRole, checkBox_9);
366 checkBox_13 =
new QCheckBox(tab_3);
367 checkBox_13->setObjectName(QString::fromUtf8(
"checkBox_13"));
368 checkBox_13->setChecked(
true);
370 formLayout_3->setWidget(1, QFormLayout::LabelRole, checkBox_13);
372 label_11 =
new QLabel(tab_3);
373 label_11->setObjectName(QString::fromUtf8(
"label_11"));
375 formLayout_3->setWidget(2, QFormLayout::LabelRole, label_11);
377 lineEdit_10 =
new QLineEdit(tab_3);
378 lineEdit_10->setObjectName(QString::fromUtf8(
"lineEdit_10"));
380 formLayout_3->setWidget(2, QFormLayout::FieldRole, lineEdit_10);
382 checkBox_10 =
new QCheckBox(tab_3);
383 checkBox_10->setObjectName(QString::fromUtf8(
"checkBox_10"));
385 formLayout_3->setWidget(3, QFormLayout::SpanningRole, checkBox_10);
387 verticalSpacer =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
389 formLayout_3->setItem(4, QFormLayout::LabelRole, verticalSpacer);
391 tabWidget->addTab(tab_3, QString());
392 tab_4 =
new QWidget();
393 tab_4->setObjectName(QString::fromUtf8(
"tab_4"));
394 formLayout_4 =
new QFormLayout(tab_4);
395 formLayout_4->setObjectName(QString::fromUtf8(
"formLayout_4"));
396 label_8 =
new QLabel(tab_4);
397 label_8->setObjectName(QString::fromUtf8(
"label_8"));
399 formLayout_4->setWidget(0, QFormLayout::LabelRole, label_8);
401 lineEdit_7 =
new QLineEdit(tab_4);
402 lineEdit_7->setObjectName(QString::fromUtf8(
"lineEdit_7"));
404 formLayout_4->setWidget(0, QFormLayout::FieldRole, lineEdit_7);
406 checkBox_12 =
new QCheckBox(tab_4);
407 checkBox_12->setObjectName(QString::fromUtf8(
"checkBox_12"));
409 formLayout_4->setWidget(1, QFormLayout::FieldRole, checkBox_12);
411 label_9 =
new QLabel(tab_4);
412 label_9->setObjectName(QString::fromUtf8(
"label_9"));
414 formLayout_4->setWidget(2, QFormLayout::LabelRole, label_9);
416 lineEdit_8 =
new QLineEdit(tab_4);
417 lineEdit_8->setObjectName(QString::fromUtf8(
"lineEdit_8"));
419 formLayout_4->setWidget(2, QFormLayout::FieldRole, lineEdit_8);
421 label_10 =
new QLabel(tab_4);
422 label_10->setObjectName(QString::fromUtf8(
"label_10"));
424 formLayout_4->setWidget(3, QFormLayout::LabelRole, label_10);
426 lineEdit_9 =
new QLineEdit(tab_4);
427 lineEdit_9->setObjectName(QString::fromUtf8(
"lineEdit_9"));
429 formLayout_4->setWidget(3, QFormLayout::FieldRole, lineEdit_9);
431 verticalSpacer_2 =
new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
433 formLayout_4->setItem(4, QFormLayout::FieldRole, verticalSpacer_2);
435 tabWidget->addTab(tab_4, QString());
436 tab_5 =
new QWidget();
437 tab_5->setObjectName(QString::fromUtf8(
"tab_5"));
438 tabWidget->addTab(tab_5, QString());
440 verticalLayout->addWidget(tabWidget);
442 buttonBox =
new QDialogButtonBox(Preferences);
443 buttonBox->setObjectName(QString::fromUtf8(
"buttonBox"));
444 buttonBox->setOrientation(Qt::Horizontal);
445 buttonBox->setStandardButtons(QDialogButtonBox::Cancel|QDialogButtonBox::Ok);
447 verticalLayout->addWidget(buttonBox);
450 retranslateUi(Preferences);
451 QObject::connect(buttonBox, SIGNAL(accepted()), Preferences, SLOT(accept()));
452 QObject::connect(buttonBox, SIGNAL(rejected()), Preferences, SLOT(reject()));
454 tabWidget->setCurrentIndex(0);
457 QMetaObject::connectSlotsByName(Preferences);
460 void retranslateUi(QDialog *Preferences)
462 Preferences->setWindowTitle(QCoreApplication::translate(
"Preferences",
"STAMINA Preferences",
nullptr));
463 checkBox_4->setText(QCoreApplication::translate(
"Preferences",
"Auto-detect model file type from extension",
nullptr));
464 checkBox_5->setText(QCoreApplication::translate(
"Preferences",
"Save modified CSL properties file",
nullptr));
465 checkBox_6->setText(QCoreApplication::translate(
"Preferences",
"Truncate Model",
nullptr));
466 checkBox_7->setText(QCoreApplication::translate(
"Preferences",
"Generate Counterexamples",
nullptr));
467 checkBox_8->setText(QCoreApplication::translate(
"Preferences",
"Create refined properties",
nullptr));
468 checkBox_11->setText(QCoreApplication::translate(
"Preferences",
"Include verbose log messages",
nullptr));
469 groupBox_2->setTitle(QCoreApplication::translate(
"Preferences",
"Editor Settings",
nullptr));
470 radioButton_6->setText(QCoreApplication::translate(
"Preferences",
"Use Tabs",
nullptr));
471 radioButton_7->setText(QCoreApplication::translate(
"Preferences",
"Use Spaces",
nullptr));
472 kcombobox->setItemText(0, QCoreApplication::translate(
"Preferences",
"8",
nullptr));
473 kcombobox->setItemText(1, QCoreApplication::translate(
"Preferences",
"4",
nullptr));
474 kcombobox->setItemText(2, QCoreApplication::translate(
"Preferences",
"2",
nullptr));
476 label_12->setText(QCoreApplication::translate(
"Preferences",
"Tab Size",
nullptr));
477 checkBox_14->setText(QCoreApplication::translate(
"Preferences",
"Allow code folding (not yet implemented)",
nullptr));
478 tabWidget->setTabText(tabWidget->indexOf(tab), QCoreApplication::translate(
"Preferences",
"General",
nullptr));
479 label->setText(QCoreApplication::translate(
"Preferences",
"Kappa",
nullptr));
480 label_2->setText(QCoreApplication::translate(
"Preferences",
"Kappa Reduction Factor",
nullptr));
481 label_5->setText(QCoreApplication::translate(
"Preferences",
"Window",
nullptr));
482 label_3->setText(QCoreApplication::translate(
"Preferences",
"Maximum Iterations",
nullptr));
483 label_4->setText(QCoreApplication::translate(
"Preferences",
"Maximum Approximation Iterations",
nullptr));
484 label_6->setText(QCoreApplication::translate(
"Preferences",
"File to export transitions to",
nullptr));
485 label_7->setText(QCoreApplication::translate(
"Preferences",
"File to export perimeter states to",
nullptr));
486 kappa->setText(QCoreApplication::translate(
"Preferences",
"1",
nullptr));
487 lineEdit->setText(QCoreApplication::translate(
"Preferences",
"1.25",
nullptr));
488 lineEdit_4->setText(QCoreApplication::translate(
"Preferences",
"1e-3",
nullptr));
489 checkBox->setText(QCoreApplication::translate(
"Preferences",
"Early Termination Using Property",
nullptr));
490 lineEdit_2->setText(QCoreApplication::translate(
"Preferences",
"1000",
nullptr));
491 lineEdit_3->setText(QCoreApplication::translate(
"Preferences",
"10",
nullptr));
492 checkBox_2->setText(QCoreApplication::translate(
"Preferences",
"Export Transitions",
nullptr));
493 pushButton->setText(QString());
494 pushButton_2->setText(QString());
495 groupBox->setTitle(QCoreApplication::translate(
"Preferences",
"Truncation Method",
nullptr));
496 radioButton_5->setText(QCoreApplication::translate(
"Preferences",
"Re-exploring (depricated)",
nullptr));
497 radioButton->setText(QCoreApplication::translate(
"Preferences",
"Iterative",
nullptr));
498 radioButton_2->setText(QCoreApplication::translate(
"Preferences",
"Priority",
nullptr));
499 radioButton_3->setText(QCoreApplication::translate(
"Preferences",
"Heuristic",
nullptr));
500 radioButton_4->setText(QCoreApplication::translate(
"Preferences",
"Priority Heuristic",
nullptr));
501 checkBox_3->setText(QCoreApplication::translate(
"Preferences",
"Export Perimeter States",
nullptr));
502 tabWidget->setTabText(tabWidget->indexOf(tab_2), QCoreApplication::translate(
"Preferences",
"Model Building",
nullptr));
503 checkBox_9->setText(QCoreApplication::translate(
"Preferences",
"Use Sylvan Library",
nullptr));
504 checkBox_13->setText(QCoreApplication::translate(
"Preferences",
"Use CUDD Library",
nullptr));
505 label_11->setText(QCoreApplication::translate(
"Preferences",
"CUDD Memory Limit",
nullptr));
506 lineEdit_10->setText(QCoreApplication::translate(
"Preferences",
"2G",
nullptr));
507 checkBox_10->setText(QCoreApplication::translate(
"Preferences",
"STORM Verbose log",
nullptr));
508 tabWidget->setTabText(tabWidget->indexOf(tab_3), QCoreApplication::translate(
"Preferences",
"Model Checking",
nullptr));
509 label_8->setText(QCoreApplication::translate(
"Preferences",
"Maximum distance to explore",
nullptr));
510 lineEdit_7->setText(QCoreApplication::translate(
"Preferences",
"1000000",
nullptr));
511 checkBox_12->setText(QCoreApplication::translate(
"Preferences",
"Use scaffolding method to create additional counterexamples",
nullptr));
512 label_9->setText(QCoreApplication::translate(
"Preferences",
"Maximum number of scaffolds to create",
nullptr));
513 lineEdit_8->setText(QCoreApplication::translate(
"Preferences",
"10000",
nullptr));
514 label_10->setText(QCoreApplication::translate(
"Preferences",
"Number of counterexamples to generate",
nullptr));
515 lineEdit_9->setText(QCoreApplication::translate(
"Preferences",
"0",
nullptr));
516 tabWidget->setTabText(tabWidget->indexOf(tab_4), QCoreApplication::translate(
"Preferences",
"Counter-Example Generation",
nullptr));
517 tabWidget->setTabText(tabWidget->indexOf(tab_5), QCoreApplication::translate(
"Preferences",
"Property Refinement",
nullptr));
Definition: ui_Preferences.h:523
Definition: ui_Preferences.h:34