Skip to content

Commit acfac7e

Browse files
author
Marcus Kessel
committed
added variant labels
1 parent 0b7f22c commit acfac7e

File tree

66 files changed

+65
-65
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

66 files changed

+65
-65
lines changed

‎lasso/src/components/SrmViewer/ClusteredSRMAccordionViewer.tsx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -357,7 +357,7 @@ SELECT count(*) AS cluster_size, list(SYSTEMID) AS cluster_implementations, * EX
357357

358358
// sort by "original" (in case of mutation testing)
359359
const originalImpls = allImpls.filter(i => i.variantId === 'original');
360-
const nonOriginalImpls = allImpls.filter(i => i.id !== 'original');
360+
const nonOriginalImpls = allImpls.filter(i => i.variantId !== 'original');
361361
const sortedImplsOriginal = [...originalImpls, ...nonOriginalImpls];
362362

363363
const oracleImpls = sortedImplsOriginal.filter(i => i.id === 'oracle');

‎web/404.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<meta name="generator" content="Docusaurus v3.7.0">
66
<title data-rh="true">Page Not Found | LASSO</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:image" content="https://softwareobservatorium.github.io/web/img/docusaurus-social-card.jpg"><meta data-rh="true" name="twitter:image" content="https://softwareobservatorium.github.io/web/img/docusaurus-social-card.jpg"><meta data-rh="true" property="og:url" content="https://softwareobservatorium.github.io/web/404.html"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="Page Not Found | LASSO"><link data-rh="true" rel="icon" href="/web/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://softwareobservatorium.github.io/web/404.html"><link data-rh="true" rel="alternate" href="https://softwareobservatorium.github.io/web/404.html" hreflang="en"><link data-rh="true" rel="alternate" href="https://softwareobservatorium.github.io/web/404.html" hreflang="x-default"><link rel="alternate" type="application/rss+xml" href="/web/blog/rss.xml" title="LASSO RSS Feed">
77
<link rel="alternate" type="application/atom+xml" href="/web/blog/atom.xml" title="LASSO Atom Feed"><link rel="stylesheet" href="/web/assets/css/styles.a32aa24b.css">
8-
<script src="/web/assets/js/runtime~main.c0740bdf.js" defer="defer"></script>
8+
<script src="/web/assets/js/runtime~main.e2cacb1b.js" defer="defer"></script>
99
<script src="/web/assets/js/main.972608fb.js" defer="defer"></script>
1010
</head>
1111
<body class="navigation-with-keyboard">

‎web/about/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<meta name="generator" content="Docusaurus v3.7.0">
66
<title data-rh="true">About LASSO | LASSO</title><meta data-rh="true" name="viewport" content="width=device-width,initial-scale=1"><meta data-rh="true" name="twitter:card" content="summary_large_image"><meta data-rh="true" property="og:image" content="https://softwareobservatorium.github.io/web/img/docusaurus-social-card.jpg"><meta data-rh="true" name="twitter:image" content="https://softwareobservatorium.github.io/web/img/docusaurus-social-card.jpg"><meta data-rh="true" property="og:url" content="https://softwareobservatorium.github.io/web/about"><meta data-rh="true" property="og:locale" content="en"><meta data-rh="true" name="docusaurus_locale" content="en"><meta data-rh="true" name="docusaurus_tag" content="default"><meta data-rh="true" name="docsearch:language" content="en"><meta data-rh="true" name="docsearch:docusaurus_tag" content="default"><meta data-rh="true" property="og:title" content="About LASSO | LASSO"><meta data-rh="true" name="description" content="Team / Authors"><meta data-rh="true" property="og:description" content="Team / Authors"><link data-rh="true" rel="icon" href="/web/img/favicon.ico"><link data-rh="true" rel="canonical" href="https://softwareobservatorium.github.io/web/about"><link data-rh="true" rel="alternate" href="https://softwareobservatorium.github.io/web/about" hreflang="en"><link data-rh="true" rel="alternate" href="https://softwareobservatorium.github.io/web/about" hreflang="x-default"><link rel="alternate" type="application/rss+xml" href="/web/blog/rss.xml" title="LASSO RSS Feed">
77
<link rel="alternate" type="application/atom+xml" href="/web/blog/atom.xml" title="LASSO Atom Feed"><link rel="stylesheet" href="/web/assets/css/styles.a32aa24b.css">
8-
<script src="/web/assets/js/runtime~main.c0740bdf.js" defer="defer"></script>
8+
<script src="/web/assets/js/runtime~main.e2cacb1b.js" defer="defer"></script>
99
<script src="/web/assets/js/main.972608fb.js" defer="defer"></script>
1010
</head>
1111
<body class="navigation-with-keyboard">

‎web/assets/js/3ad343e8.9d724ba8.js

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎web/assets/js/3ad343e8.ce9601de.js

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎web/assets/js/runtime~main.c0740bdf.js renamed to ‎web/assets/js/runtime~main.e2cacb1b.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)