Skip to content

Commit 0b7f22c

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

File tree

67 files changed

+78
-69
lines changed

Some content is hidden

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

67 files changed

+78
-69
lines changed

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

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -32,10 +32,12 @@ import { CodeSnippetCard } from '../CodeSnippet/CodeSnippetCard';
3232
import { DataGrid, GridColDef, GridRenderCellParams } from '@mui/x-data-grid';
3333
import CloseIcon from '@mui/icons-material/Close';
3434
import ErrorIcon from '@mui/icons-material/Error';
35+
import ContentCopyIcon from '@mui/icons-material/ContentCopy';
3536
import ActuationSheet from '../Sheet/ActuationSheet';
3637
import SheetService from '../Sheet/SheetService';
3738
import CodeBlock from '@theme/CodeBlock';
3839

40+
3941
// ---- CLUSTER COLORS & TAGS ----
4042
// const CLUSTER_COLORS = [
4143
// "#90caf9", "#c5e1a5", "#ffcc80", "#f8bbd0", "#fff59d", "#a5d6a7", "#bcaaa4", "#bdbdbd", "#ffb3ba", "#baffc9"
@@ -352,8 +354,14 @@ SELECT count(*) AS cluster_size, list(SYSTEMID) AS cluster_implementations, * EX
352354

353355
// sort
354356
// After allImpls computed:
355-
const oracleImpls = allImpls.filter(i => i.id === 'oracle');
356-
const nonOracleImpls = allImpls.filter(i => i.id !== 'oracle');
357+
358+
// sort by "original" (in case of mutation testing)
359+
const originalImpls = allImpls.filter(i => i.variantId === 'original');
360+
const nonOriginalImpls = allImpls.filter(i => i.id !== 'original');
361+
const sortedImplsOriginal = [...originalImpls, ...nonOriginalImpls];
362+
363+
const oracleImpls = sortedImplsOriginal.filter(i => i.id === 'oracle');
364+
const nonOracleImpls = sortedImplsOriginal.filter(i => i.id !== 'oracle');
357365
const sortedImpls = [...oracleImpls, ...nonOracleImpls];
358366

359367
// 2. Marking: find the cluster with the most members
@@ -507,7 +515,7 @@ SELECT count(*) AS cluster_size, list(SYSTEMID) AS cluster_implementations, * EX
507515
}}
508516
title="Show details for this implementation"
509517
>
510-
{cand ? cand.name : impl.id}
518+
{cand ? cand.name : impl.id} {impl.variantId != 'original' ? <Chip label={impl.variantId} size="small" /> : null}
511519
</Box>
512520
<Stack direction="row" spacing={0.5}>
513521
{meta.isOracle && (
@@ -609,6 +617,7 @@ SELECT count(*) AS cluster_size, list(SYSTEMID) AS cluster_implementations, * EX
609617
<Stack direction="row" alignItems="center" spacing={2} sx={{ mb: 2 }}>
610618
<Chip size="small" color="success" label="cluster-based oracle" />
611619
<Chip size="small" color="info" label="specified oracle" />
620+
<Chip size="small" label="Variant" />
612621
<Box>Column color: indicates cluster membership</Box>
613622
</Stack>
614623
<Box sx={{ height: 500 }}>
@@ -674,7 +683,7 @@ SELECT count(*) AS cluster_size, list(SYSTEMID) AS cluster_implementations, * EX
674683
<TableCell>Cluster {idx + 1}</TableCell>
675684
<TableCell>{implementations.length}</TableCell>
676685
<TableCell>
677-
{implementations.map(i => i.id).join(", ")}
686+
{implementations.map(i => `${i.id} (${i.variantId})`).join(", ")}
678687
</TableCell>
679688
</TableRow>
680689
);

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -435,7 +435,7 @@ from tdse_srm.parquet as tbl1 where TYPE = 'value' ${abstractionFilter ? `AND AB
435435
return (
436436
<Chip
437437
key={impl.id + i}
438-
label={impl.id}
438+
label={impl.id + (impl.variantId != 'original' ? ` (${impl.variantId})` : "")}
439439
size="small"
440440
sx={{ mr: 0.7 }}
441441
/>

‎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.63577892.js" defer="defer"></script>
8+
<script src="/web/assets/js/runtime~main.c0740bdf.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.63577892.js" defer="defer"></script>
8+
<script src="/web/assets/js/runtime~main.c0740bdf.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.5748c1fb.js

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

‎web/assets/js/3ad343e8.9d724ba8.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.

0 commit comments

Comments
 (0)